Graphical types and constraints - second-order polymorphism and inference. (Types et contraintes graphiques - polymorphisme de second ordre et inférence)
نویسنده
چکیده
308
منابع مشابه
MLF: An extension of ML with first-class polymorphism and implicit instantiation. (MLF : Une extension de ML avec polymorphisme de second ordre et instanciation implicite)
We propose a type system MLF that generalizes ML with first-class polymorphism as in System F. Expressions may contain second-order type annotations. Every typable expression admits a principal type, which however depends on type annotations. Principal types capture all other types that can be obtained by implicit type instantiation and they can be inferred. All expressions of ML are well-typed...
متن کاملSecond Order Necessary and Sufficient Optimality Conditions under Abstract Constraints
In this paper we discuss second order optimality conditions in optimization problems subject to abstract constraints. Our analysis is based on various concepts of second order tangent sets and parametric duality. We introduce a condition, called second order regularity, under which there is no gap between the corresponding second order necessary and second order suucient conditions. We show tha...
متن کاملSecond-Order Necessary Conditions in Pontryagin Form for Optimal Control Problems
In this report, we state and prove rstand second-order necessary conditions in Pontryagin form for optimal control problems with pure state and mixed control-state constraints. We say that a Lagrange multiplier of an optimal control problem is a Pontryagin multiplier if it is such that Pontryagin's minimum principle holds, and we call optimality conditions in Pontryagin form those which only in...
متن کاملType Inference with Set Theoretic Type Operators
We study an extension of the Hindley/Milner type system including union, intersection and recursive types as well as subtyping and a limited form of bounded poly-morphism. In this system|as in many other systems with subtyping|the type inference problem reduces to a problem of solving inclusion constraints. We encode types as regular tree expressions/set constraints, and show how well-known tec...
متن کاملSensitivity Analysis of Optimization Problems Under Second Order Regular Constraints
We present a perturbation theory for nite dimensional optimization problems subject to abstract constraints satisfying a second order regularity condition. We derive Lipschitz and HH older expansions of approximate optimal solutions, under a directional constraint qualiication hypothesis and various second order suucient conditions that take into account the curvature of the set deening the con...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008